Russian
правило преобразования English
transformation rule Spanish
reglas de inferencia Catalan
regla d'inferència Inferência é o processo pelo qual se chega a uma proposição, firmada na base de uma ou outras mais proposições aceitas como ponto de partida do processo.
1
Nessas últimas, as premissas e regras de inferência estão estipuladas desde o início.
2
Ele começou considerando qualquer conjunto consistente de regras de inferência.
3
Para qualquer conjunto de regras de inferência, existem provas válidas não designadas como válidas por essas regras.
4
Mas quais regras de inferência devemos usar?
5
Desta vez a consistência teria de ser provada, usando um método de prova que por si mesmo seguisse as mesmas regras de inferência.
1
Do mesmo modo, a regra de inferência se liga a pequenas decisões que escapam de sua formulação abstrata.
2
Nessas últimas, as premissas e regras de inferência estão estipuladas desde o início.
3
Ele começou considerando qualquer conjunto consistente de regras de inferência.
4
Para qualquer conjunto de regras de inferência, existem provas válidas não designadas como válidas por essas regras.
5
Mas quais regras de inferência devemos usar?
6
Desta vez a consistência teria de ser provada, usando um método de prova que por si mesmo seguisse as mesmas regras de inferência.
7
Suponha que alguns críticos façam objeção às nossas regras de inferência porque acham que nossos símbolos se comportarão de modo diferente das entidades abstratas.
8
É a intuição de que a prova é um tipo especial de objeto, ou seja, uma sequência de declarações que obedecem a regras de inferência.
9
Logo, num certo sentido, toda a argumentação é condicional: podemos sempre pôr em causa, em princípio, as premissas ou as regras de inferência (ou ambas).
10
As mesmas considerações aplicam-se à intuição de que deve existir uma quantidade finita de regras de inferência e de que elas devem ser "diretamente aplicáveis".